English polymorphic typing: translation to other languages